A Geometry of Approximation : Rough Set Theory: Logic, Algebra and Topology of Conceptual Patterns
A Geometry of Approximation' addresses Rough Set Theory, a field of interdisciplinary research first proposed by Zdzislaw ...
Lire la suiteAdvances in Proof-Theoretic Semantics
This volume is the first ever collection devoted to the field of proof-theoretic semantics. Contributions address topics ...
Lire la suite
An Invitation to Abstract Mathematics
this book begins with a playful exploration of the building blocks of mathematics, such as definitions, axioms, and proofs. ...
Lire la suite
Computer Science Logic : 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
This book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lire la suite
Concept Lattices and Their Applications : Fourth International Conference, CLA 2006 Tunis, Tunisia, October 30-November 1, 2006 Selected Papers
This book constitutes the refereed proceedings of the Fourth International Conference on Concept Lattices and their Applications, ...
Lire la suite
Deduction, Computation, Experiment : Exploring the Effectiveness of Proof
What is a proof for? What is the characteristic use of a proof as a computation, as opposed to its use as an experiment? ...
Lire la suite
Fading Foundations
This book addresses the age-old problem of infinite regresses in epistemology. How can we ever come to know something if ...
Lire la suite
Foundations of Software Science and Computation Structures 23rd International Conference, FOSSACS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings
This book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational ...
Lire la suiteFoundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings
This book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational ...
Lire la suite
Guida alla teoria degli insiemi = Guide to set theory
Teachers are in difficulty with regard to the space and emphasis to be given to set theory topics, in their preparation and ...
Lire la suite
Information and Knowledge : A Constructive Type-theoretical Approach
This book develops a philosophical and logical interpretation of the concept of information within the formal structure of ...
Lire la suite
New Computational Paradigms : Changing Conceptions of What is Computable
This book examines new developments in the theory and practice of computation from a mathematical perspective, with topics ...
Lire la suite
Passione per Trilli : Alcune idee dalla matematica = Passion for Tinker Bell: Some ideas from mathematics
It is a general belief that mathematics is a difficult subject to understand, that uses esoteric symbols and an incomprehensible ...
Lire la suite
Paul Lorenzen -- Mathematician and Logician
This book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th ...
Lire la suite
Theory and Applications of Satisfiability Testing - SAT 2008 : 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008. Proceedings
All current research issues in propositional and quantified Boolean formula satisfiability testing are covered, including ...
Lire la suite
